<div>
  名称是用于唯一标识一个代理的。
  <p>
  它不需要和代理的主机名保持一致，
  但通常会是相同的。
  <p>
  名称不允许包含下列特殊字符：
  <tt>?*/\%!@#$^&amp;|&lt;&gt;[]:;</tt>
  <!-- See jenkins.model.Jenkins#checkGoodName -->
</div>
